MODULE hello;
IMPORT Console;
BEGIN 
  Console.String("hello world"); Console.Ln
END hello.
